Summary

Adds a minimal failing reproducer for a real bug in pup's implicit-dep recording, currently tagged [\!shouldfail] so CI stays green while the bug is on file. Depends on #49 (uses pup show index for forensic diagnostic output).

The bug

When an already-tracked header is edited to #include a new header, the source's recompile produces a .d file listing the new header, but pup's index does not extend the source's implicit-dep set to include it. Subsequent edits to the newly-introduced header are then invisible to change detection — pup reports Nothing to do (up to date). while the .o is stale.

This is distinct from the scope-filter bug fixed in 315b2a2 (where an existing-recorded header was filtered out during change detection). The new bug fires unscoped and is a flaw in dep recording, not change detection.

Reproducer steps (see test/e2e/fixtures/header_dep_transitive/test.sh)

1. main.c includes only old.h. Initial build records old.h as implicit dep. .o contains 0x1 (ANSWER=1). ✓
2. Edit old.h to #include "newhdr.h" and use EXTRA. Rebuild. .o contains 0x64 (EXTRA=100). ✓ (compile happened, .d listed newhdr.h)
3. Edit newhdr.h (EXTRA 100 → 7777). Rebuild expected. Observed: Nothing to do. .o stays at 0x64. ✗

Between steps 2 and 3, test.sh runs pup show index PATTERN (from #49) and asserts whether newhdr.h appears in main.c's implicit-dep set. Live result on this branch:

implicit: src/main.c
implicit: /usr/include/stdc-predef.h
implicit: include/old.h          ← recorded ✓
                                 ← newhdr.h missing ✗
sticky:   src/Tupfile

This isolates the root cause precisely: pup's post-execution .d-file processing does not extend the implicit-dep set with newly-discovered transitive headers after a rebuild. The bug is therefore in the dep-recording path (around discovered_deps/process_implicit_deps in cmd_build.cpp), not in change detection.

Why [\!shouldfail]

Catch2's [\!shouldfail] marks the test as an expected-failure: it runs, output is captured, exit status reports 1 failed as expected. Default CI stays green. Once the dep-recording bug is fixed and the test passes, removing the tag converts it into a regression guard.

Test plan

• Reproducer runs standalone: bash test/e2e/fixtures/header_dep_transitive/test.sh exits 1 with diagnostic output showing stale .o AND the forensic from pup show index pinpointing the missing edge
• Catch2 SCENARIO via ./build/test/unit/putup_test "[\!shouldfail]" reports 1 failed as expected
• Full test suite is green (the SCENARIO does not break CI)
• make format clean

Refs pup-header-detection-bug.md (working notes), depends on #49.

🤖 Generated with Claude Code